definitional isomorphism